Fix gcc4 build.

Signed-off-by: Steve Dobbelstein <steved@us.ibm.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/include/asm-x86/processor.h b/xen/include/asm-x86/processor.h
index 2bd818d5394a2ceafe85ff41f062dd4fef12a640..585f4bed269d7bdd58db81c858ebf3b105aeebb3 100644 (file)
--- a/xen/include/asm-x86/processor.h
+++ b/xen/include/asm-x86/processor.h
@@ -213,15 +213,17 @@ static always_inline void detect_ht(struct cpuinfo_x86 *c) {}
             : "0" (_op), "2" (0))
 
 /* Some CPUID calls want 'count' to be placed in ecx */
-static inline void cpuid_count(int op, int count, int *eax, int *ebx, int *ecx,
-               int *edx)
+static inline void cpuid_count(
+    int op,
+    int count,
+    unsigned int *eax,
+    unsigned int *ebx,
+    unsigned int *ecx,
+    unsigned int *edx)
 {
-       __asm__("cpuid"
-               : "=a" (*eax),
-                 "=b" (*ebx),
-                 "=c" (*ecx),
-                 "=d" (*edx)
-               : "0" (op), "c" (count));
+    __asm__("cpuid"
+            : "=a" (*eax), "=b" (*ebx), "=c" (*ecx), "=d" (*edx)
+            : "0" (op), "c" (count));
 }
 
 /*